Memory barrier

Results: 152



#Item
101Concurrent computing / Parallel computing / Concurrency control / Unified Parallel C / Prefetch buffer / Remote direct memory access / Memory barrier / Monitor / Cache / Computing / Computer memory / Software engineering

Automatic Nonblocking Communication for Partitioned Global Address Space Programs Wei-Yu Chen1,2 Dan Bonachea1,2 [removed] [removed] Costin Iancu2

Add to Reading List

Source URL: upc.lbl.gov

Language: English - Date: 2010-05-06 00:14:42
102Computer programming / Thread / Unified Parallel C / POSIX Threads / Barrier / InfiniBand / Remote direct memory access / Blue Gene / Computer cluster / Computing / Concurrent computing / Parallel computing

Hybrid PGAS Runtime Support for Multicore Nodes Filip Blagojevi´c, Paul Hargrove, Costin Iancu, Katherine Yelick Lawrence Berkeley National Laboratory {fblagojevic, phhargrove, cciancu, kayelick}@lbl.gov Abstract

Add to Reading List

Source URL: upc.lbl.gov

Language: English - Date: 2010-10-30 16:31:42
103Computer memory / Algorithm / Mathematical logic / Theoretical computer science / Cycle detection / Parallel computing / Stack / Memory barrier / Topological sorting / Computing / Mathematics / Concurrent computing

Completely Verifying Memory Consistency of Test Program Executions Chaiyasit Manovit Sun Microsystems / Stanford University, CA, USA [removed] Abstract An important means of validating the design of

Add to Reading List

Source URL: xenon.stanford.edu

Language: English - Date: 2006-06-04 09:30:18
104Central processing unit / Computer memory / Concurrency control / Computer arithmetic / CPU cache / Memory barrier / Linearizability / Parallel computing / Compiler optimization / Computer architecture / Computer hardware / Computing

TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡, Juin-Yeu Joseph Lu‡ and Sridhar Narayanan‡ Processor and Network Product

Add to Reading List

Source URL: xenon.stanford.edu

Language: English - Date: 2009-10-06 04:28:49
105Computer architecture / Algorithm / Mathematical logic / Theoretical computer science / Linearizability / Memory barrier / Parallel computing / Memory ordering / Distributed computing / Computing / Mathematics / Computer memory

Efficient Algorithms for Verifying Memory Consistency Chaiyasit Manovit Sudheendra Hangal Sun Microsystems

Add to Reading List

Source URL: xenon.stanford.edu

Language: English - Date: 2005-07-12 03:12:48
106Parallel computing / Message Passing Interface / Thread / OpenMP / Inter-process communication / Barrier / Parallel programming model / Kahn process networks / Message passing / Concurrent computing / Computing / Computer programming

A Virtual Memory Foundation for Scalable Deterministic Parallelism Yu Zhang Bryan Ford

Add to Reading List

Source URL: dedis.cs.yale.edu

Language: English - Date: 2011-06-28 08:00:27
107Computer programming / OpenMP / Barrier / Thread / Unified Parallel C / Memory model / POSIX Threads / Actor model / Monitor / Computing / Concurrent computing / Parallel computing

Deterministic OpenMP for Race-Free Parallelism Amittai Aviram and Bryan Ford Yale University {amittai.aviram, bryan.ford}@yale.edu Recent deterministic parallel programming models show promise for their ability to replay

Add to Reading List

Source URL: dedis.cs.yale.edu

Language: English - Date: 2011-04-20 08:11:49
108Computer memory / Magnetoresistive random access memory / Tunnel magnetoresistance / Technology / Spintronics / Emerging technologies / Non-volatile memory

Magnetic Devices Giant Tunnel Magneto-resistance (TMR) Device with Crystalline MgO Barrier Dr. Shinji YUASA (National Institute of Advanced Industrial Science And Technology)

Add to Reading List

Source URL: www.jst.go.jp

Language: English - Date: 2013-11-29 00:06:30
109Virginia / Barbed wire / Levittown /  Pennsylvania / Ranch / Jamestown /  Virginia / Savannah /  Georgia / Mexico – United States barrier / Jamestown Settlement / Fences / Geography of the United States / Geography of Georgia

BETWEEN FENCES Web Resources AMERICA DREAMS http://memory.loc.gov/ammem/ndlpedu/lessons/97/dream/ The Library of Congress offers this online learning resource for teachers and students. Owning a home with a white picket

Add to Reading List

Source URL: www.museumonmainstreet.org

Language: English - Date: 2012-03-14 09:31:12
110Memory barrier / Circular buffer / Volatile variable / CPU cache / Cache / Data buffer / Page table / Non-volatile memory / Parallel computing / Computer memory / Computing / Computer hardware

A Better Reduction Theorem for Store Buffers Ernie Cohen1 and Norbert Schirmer2,? 1 arXiv:0909.4637v1 [cs.LO] 25 Sep 2009

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2009-09-25 04:48:39
UPDATE